<html>

<head>
<meta http-equiv="Content-Language" content="en-us">
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
<title>Overview Page</title>

</head>

<body>

<h1>About MultithreadedTC</h1>
<p>Multithreaded TC is a framework for testing concurrent applications.</p>

<p><a href="http://www.cs.umd.edu/projects/PL/multithreadedtc/overview.html">Read 
this introduction</a>, for a more detailed overview of MultithreadedTC.</p>

</body>

</html>
